Johan van Benthem (auth.): przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (18)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Games, Norms and Reasons: Logic at the Crossroads

Games, Norms and Reasons: Logic at the Crossroads

Springer Netherlands

Horacio Arló Costa, Arthur Paul Pedersen (auth.), Johan van Benthem, Amitabha Gupta, Eric Pacuit (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 4.49 MB

0 / 0

english, 2011

2

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 5.03 MB

0 / 0

english, 2000

3

Essays in Logical Semantics

Essays in Logical Semantics

Springer Netherlands

Johan Van Benthem (auth.)

Rok:

1986

Język:

english

Plik:

PDF, 3.59 MB

0 / 0

english, 1986

4

Advances in Intensional Logic

Advances in Intensional Logic

Springer Netherlands

Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.)

Rok:

1997

Język:

english

Plik:

PDF, 7.72 MB

5.0 / 0

english, 1997

5

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

Springer Netherlands

John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 8.67 MB

0 / 0

english, 2011

6

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer Netherlands

Jen Erik Fenstad (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.)

Rok:

1997

Język:

english

Plik:

PDF, 12.40 MB

0 / 0

english, 1997

7

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer Netherlands

E. G. Beltrametti (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem (eds.)

Rok:

1997

Język:

english

Plik:

PDF, 12.57 MB

0 / 0

english, 1997

8

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Springer Netherlands

Johan van Benthem (auth.), Maarten de Rijke (eds.)

Rok:

1993

Język:

english

Plik:

PDF, 7.81 MB

0 / 0

english, 1993

9

Quantifiers: Logics, Models and Computation: Volume Two: Contributions

Quantifiers: Logics, Models and Computation: Volume Two: Contributions

Springer Netherlands

Johan van Benthem (auth.), Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba (eds.)

Rok:

1995

Język:

english

Plik:

PDF, 7.37 MB

0 / 0

english, 1995

10

Resource-Sensitivity, Binding and Anaphora

Resource-Sensitivity, Binding and Anaphora

Springer Netherlands

Johan van Benthem (auth.), Geert-Jan M. Kruijff, Richard T. Oehrle (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 10.13 MB

0 / 0

english, 2003

11

Situations, Language and Logic

Situations, Language and Logic

Springer Netherlands

Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem (auth.)

Rok:

1987

Język:

english

Plik:

PDF, 10.72 MB

0 / 0

english, 1987

12

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Rok:

1989

Język:

english

Plik:

DJVU, 6.51 MB

0 / 0

english, 1989

13

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 4.88 MB

0 / 0

english, 2011

14

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.11 MB

0 / 0

english, 2009

15

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Rok:

1989

Język:

english

Plik:

PDF, 14.20 MB

0 / 0

english, 1989

16

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 5.41 MB

0 / 0

english, 2011

17

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 4.26 MB

0 / 0

english, 2009

18

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

Rok:

2000

Język:

english

Plik:

PDF, 7.86 MB

0 / 0

english, 2000